diff --git a/.gitignore b/.gitignore
index dadc007..554e514 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 .build*
 /build*
 /tools/qemu.mk
+/tools/remote.mk
diff --git a/device/ps2controller.cc b/device/ps2controller.cc
index f29638f..36a543b 100644
--- a/device/ps2controller.cc
+++ b/device/ps2controller.cc
@@ -119,7 +119,7 @@ bool fetch(Key &pressed) {
   
   pressed = key_decoder.decode(out_buffer);
   
-  if (pressed.alt() || pressed.ctrl() || pressed.shift || !pressed.valid())
+  if (pressed.alt() || pressed.ctrl() || !pressed.valid())
     return false;
   else
     return true;
diff --git a/tools/remote.mk b/tools/remote.mk
index 0733bd1..7945dcf 100644
--- a/tools/remote.mk
+++ b/tools/remote.mk
@@ -1,7 +1,7 @@
 # Test your system on real hardware
 
 NETBOOT_LOCAL="/ibr/adm/user-boot/"
-NETBOOT_HOST="x1.ibr.cs.tu-bs.de"
+NETBOOT_HOST="y0080589@x1.ibr.cs.tu-bs.de"
 
 # The boot menu shows pairs of `vmlinuz-*` + `initrd-*.img` with owning user and timestamp.
 # We just need to choose a name that doesn't overlap with another user's.