Travis tweak and small other stuffs.