Minor cosmetical fixes to bench.c.