small phpdoc cleanups