Fix badges, and maybe the Travis build ...