Oops, yes. It seems this document is incomplete in general.