btw. the location of this comma is a bit weird; is this really the intended style?