fix another style issue in the docs about the docs