util.cc: whitespace