Minor changes to Slasher