Fix wrong copy and paste of PHPdocs