This is the kind of autistic pedantry I come to HN for. I don't know what I was thinking.