shorter ints
update travis badge