We always include a blank line above comments.