reinsert lines accidentally deleted in previous commit