another small fix in code example