micro change, added 2 '@property'

Micro change: I really think those 2 should be properties.