fix travis configuration issue and small issues