bug in ease doc example