fixing a bug in FindSuccessor