#60 bug fix in HashTreePProperties