Fix some errors in the examples