Fix phpdoc for options property