Some fixes to the last blog post