reinstate erroneously removed blank line

sometimes you just don't see these things until they become pull requests :-)