Small whitespace change in property.hpp