added newline to nonproperty.cc