phpdoc fixup
phpdoc fixup