cosmetic: adding comma in final output