Repo for the issue github/Mantle#74