travis badge fixes