#24: one small correction