Fix misapplied patch in r193597

Sorry Peter Zotov, entirely my fault.