Use pretty encoder