Disable the pretty-printer for now...