Issue #8: fix formatting issue in docs.