fix error in last upstream push