A small patch to emit line numbers for all elements