Fix some example code in the manual