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)