for check in Travis CI