fix regression of patch for #9