[Fix #218] Fix an example comment