Yet another minor tweak