few fixes to pretty printer, havnt tested them yet