Pretty printer updated