Very minor edits, e.g. punctuation
I noticed a sign error in an old answer of mine. I wanted to fix it, but I don't really want to bring this old question to the top of the stack when there's fundamentally nothing new to read there. Is there a workaround for this?