Fix task name in Travis-CI configuration.