Koan 5 fixup.