TODO: Bug in StopExtr