Fix formatting in the AIX section.