bug fixed in TravisCI