The comma is fine as is, but your edit removed a quotation mark when there should be two pairs there. Mario JC 09:15, June 6, 2023 (EDT)
So, no need to change this? PetrPro (talk) 12:44, June 6, 2023 (EDT)