Minor improvements (2)

For Travis, there must be something else missing apart from the wrong branch in the badge... Not sure why.