PhpDoc minor fix