Adding a missing comma

Sadly, I missed this comma in the last commit.