fix typo
formatting improvements on blog post
in prove helper, skip old prove lacking -j option