add a space after comma (unfortunately the code above this doesn't strictly follow style...)