WyC: added another tiny piece of documentation.