PHPdoc fixes, no code change