Restored a blank line that exists in openwebwork version.