Very minor tweak following previous changes.