Yet another minor tweak.