Correct travis test: global leak