Very minor tweak.