add another missing comma

I shouldn't edit stuff on github directly I guess…