Correct scoping of savepoint example