STYLE: Minor tweakery.