Making Travis happy