WyC: more minor tweaks to documentation