diff --git a/ssh/config b/ssh/config
index 8e74558..2107deb 100644
--- a/ssh/config
+++ b/ssh/config
@@ -7,6 +7,9 @@ Host *
 Host 0?? 0???
 	HostName faui%h.informatik.uni-erlangen.de
 
+Host faui0? faui0??
+	HostName %h.informatik.uni-erlangen.de
+
 Host man? man?? big?
 	HostName faui49%h.informatik.uni-erlangen.de
 
@@ -14,9 +17,6 @@ Host faui2hg
 	HostName faui2hg.informatik.uni-erlangen.de
 	User est_tpreisner
 
-Host faui* !faui2hg*
-	HostName %h.informatik.uni-erlangen.de
-
 Match Host faui*
 	User ty28wuqu