fixed a code example