Fix: it should not be possible to access/increment/decrement line numbers concurrently from different threads