Travis bugfix