Put back accidentally-deleted space characters