fix travis manifest