'[31]' is printed at the foot of the first column.