Fix incorrect example code