WyC: minor bug fix for pretty printing with spaces.