uci: tidy a bit.