Potential fix of Travis build