Fixing typo on benarus blog post.