minor: trying to fix travis