Documentation fixes
TravisCI badge