Fix annotation of ch04