Avoid anothor Travis CI warning (#243)