Fix bug in when we dump intermediate mcs'es