Fix possible pattern match failure in "hold"