fixed a bug concerning the DELETE key