lacking debug info for properties #37
(complements d12b5873f9c0706747aa45a724689697c18c59c6).