robinst and gnzlbg Fix build by running rustfmt