No, it's fine deleting the characters in the terminal, and also in other applications like vim, and indeed here in Safari. I do note that I have the same problem deleting characters if I simply type 'read c' from the command line.