WyC: very minor documentation tweak