This comma is correct.