fixed bug in mint.k