Correct 'with-lock' example