Fixed another Travis build error