Fixing bugs on MICs