fixing various PHPDoc comments