`@return` is typically listed after `@param`