I don't see what slic3r should have done. In filament settings you have no extra offsets - that would not make sense anyway. Different filament means just different temperature that is all what slic3r would change. Compare the produced gcode of both filament settings and see yourself.
If you of course also change print setting then it could produce different code, but filament change only changes temp. and fan.