WyC: more documentation updates