fixing an issue for Mint