Or rather the frontend had changed syntax, because this used to work.
This will suffice until we come up with proper syntax or something...

This makes it easier to join output from several modules and keep it
valid.  (Given modules *do* print the comma.)