Minor change to __str__ functions to be compatible with 3.2