attempting to fix Travis CI error