Simpler pretty printer implementation