Manually turning the cable car around in San Francisco