WITL style fixes.