Correcting more mistakes for Travis