Minor bugfix for line number prints.