Good catch.

I think they have done a little bit of work on the behavior of the timecodes-when-paused already, so there's a possibility this will be already fixed in the next beta. When the next beta comes out, see if the bug is gone. If not, let us know here and I'll officially stick it in the internal bug list.