Minor style tweak before release.