Fixing small problems with shell arrow keys