Tightening wording in lazy nondet. section.