Minor fixes for HHVM blog post