Not_found is a constant constructor (remove warning)