Fix Travis-CI error