One more style tweak (needed to beat my standing commits-in-one-day record on GitHub).