#1866: fix column header

It looks like this column header got deleted accidentally. It is needed for Lizard to work.