simworld.cc: more whitespace adjustment