Restore lost line in travis config.