minor size tweak.