Correct PHPdoc.