Add a badge of Travis CI and fix a little