Some more formatting experiments with Annex A