Fix spec of lookup/1