fixed mint.k (again)