more about occurs check, some typos