fix bug on Mint