Re-added a line that has been removed by mistake (unclear when)