PrettyPrint Fix