Correcting Travis-CI branch