Documentation: Minor IVR fixes, global module numbering

Change-Id: Ib05f508bd7e61a95feda27aefdda2fd7678f1f92