uci: tidy more.