Fix some errors shown in Travis CI