fix travis build broken by previous commit