Thanks, exvaxman -- my spelling is notorious around here. I was focusing so much on getting the end of the name spelled correctly that I missed that I had the beginning wrong. I've gone back and changed it, thanks to your pointing out the error.
I hereby formally apologize to any I may have accidentally offended by my error, and affirm that it was only that, and nothing deliberate.
