I think this is still wrong and `properties()` should be used instead of `__properties__`. @pzwang any comments on this?