trivial change -- all is String in Property.Key now and thus no toString() on enum required.