fix error reported on Agda list, and also unfound meta