Minor fix to clhs search