Fix clhs-lookup.