A cosmetic fix for Travis