WYCS: minor tweak to new debugging output.