stupid bug fix in keyboard driver (how did this happen??). shift+4 gives a dollar sign...