Fixed some types and rewrote a small part of the blog post