Seems like an accidental omission to me. Let's fix it.