added parameter for pretty printing