The actual AFR for regular gasoline at .85 Lambda is indeed approx. 12.5.
For E10 at .85 Lambda it is indeed approx. 12.0.