Fix docs name in Travis