Travis badge & travis fixups