Fix annotation of ch05