picky: blank line missing before `@return` tag ;) (not really a law but is used everywhere else and reads better)