Travis badge correction