Fixed a bug in an example of dive-into section