Fix double leaked into another example