Fixed a whitespace insertion glitch, where whitespace got inserted unconditionally between two operators even if one of these was a comma.