Very minor tweak