colombia mining hotfix