Add missing line; removed by accident in prev commit