Correcting Travis error