minor fixes #9

	# name: Publish docs via GitHub
	# on:
	# push:
	# branches:
	# - main

	# jobs:
	# build:
	# name: Deploy docs
	# runs-on: ubuntu-latest
	# steps:
	# - uses: actions/checkout@v3
	# - uses: actions/setup-python@v4
	# with:
	# python-version: 3.9
	# - name: run requirements file
	# run: pip install -r requirements.txt
	# - name: Deploy docs
	# run: mkdocs gh-deploy --force
	# env:
	# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback