Fix a missing empty line