Some minor changes to the newly-ported Extruder class