Slightly improved phpdoc.