Small PhpDoc fix