bugfix in as.mip