Formatting in lot.h