put back the missing characters at EOF