WyC: added a little bit more documentation.