Added two "@property" PHPDoc tags