restore accidentally-removed blank line