fixed a bug in an example