docs: make Travis happy