Does the coding standard say there should be new lines between `@param` and `@return`?