Fixed minor bug, repo should be fixed

This is mainly just verifying that the repo is actually fixed now...