Fix comma mistakenly removed in last commit.