Fix linting and omitted doc file