InfoQ edit pass.
InfoQ: formatting