Small fixes after writing the blog post