My first ever use of git and I got it wrong - I'd corrected the comma elsewhere, but not where I was committing from. Sorry, and thanks for fixing so promptly.