Fixed another Travis issue