bugfix on code example, ex. 1.1.3