making Travis (hopefully) happy