Unreviewed, fix an obvious typo: a missing comma.