Fix namescpace in PHPDoc.