did you mean to add:

+$(document).keyup(function(k) {
+  keyStuckDown = false;
+});

to here as well?