IDEA12 formatting.