Correct documented example.