PHPDocs are missing `@return` tags, in other places too.