Adjust PHPDoc a bit.