AODV: doc formatting