Merge pull request #88 from mithro/main

Fix the CI