WyC: very minor tweak.