Minor tidy-ups to blog posts