A-OK.

I am very pleased that the fixup was easy, and everything is A-OK.