Fixing a mistaken attribution in a blog post