Consistent formatting in src/ais