TextWrapper from textwrap, and also fix _print_properties