Final type fix of this blog post.