Restore comma mistakenly removed in last change.