Minor correction on Travis-CI badge link