Made a phpdoc more specific for the return value