WyCS: touched up the documentation after investigating a bug.