Fixed a compilation error due to a missing property attribute.