Error in nRF5 SDK v15.2 Timer Debugging Documentation