revision: trivial style fixes