WyC: some tweaks to documentation.