The numbering of the input lines become inconsistent after I insert a new cell in between two existing cells:
The system seems to ignore the newly inserted line o
