Documentation fix on $def and properties

A sample code had a wrong defined constructor.