Correct error in Skeptik proof example