Fix some phpdocs