Fix Travis configuration #2