Fixing some PHPDoc