WyC: removed some whitespace