WyCS: minor bug fixes