Fixed bugs with pretty print. Changed some spacing style