Making Travis (CI) happy