Fix linting error and tweak doc spacing