doc: updated pull request for properties.pyx