fix pretty print so that it correctly reflects macro hygiene