Correcting even more mistakes for Travis