PHPDoc: Allow $value to be null