a mistake in travis-ci fixed