fixing travis badge I hope