Small stylistic fixes. Add GitHub badge