[David] add line numbers for easier revisions (temporary)