No blank line before the `@return` declaration?