fixed indentation for prettyprinting