Fix first Travis-CI build error