bugfix to travis