Fix proprietary call to Dump.