I think that comma is correct actually.