type "1234" and then hit backspace; the result should be "123"

prior to this change, one would get "1234" because the auto-added
space at the end of "1234 " is all that would be removed.