Added doc on EReg.map, minor editings.