Typo fix in propdef example