Fix another Travis build error