(Note: This was originally published on my Wordpress blog and was collected here via RSS, but it contained an error which has now been corrected on the original blog and can't be corrected in the RSS version collected here, so I'm republishing it. I've decided to just cross-post all my blog writing so that this RSS problem won't be an issue in the future.)