Hotfix/v0.7.5

We needed this modification to make the site work again.