ModelIsaacSevered was in the wrong package