fix some low-level bugs in no_3_guide