Added two "property" PHPDoc tags