travis: bugfix