Fixed small error in the doc and example