PHPDoc for #1744