Merge pull request #493 from mhaskel/remove_mint