Fixed small errors in Unlearning.