I re-read section VI.2. The "shortcut" is actually legitimate!