Updated the pretty printer. It's even prettier now.