amend lazy-interpretor