8033115: Bad merge between 8027584 and 8031759

Reviewed-by: erikj, dsamersoff
2 files changed