Fix checking repo. Fixes #88