WYCS: very minor tweak