Not matching military (24) hour in filename

Filename example: 2013_03_29_17_48_42 processed by FineReader
I have a rule for filename, matching:

Code: Select all: (Date: <year:1999>_<month:12(2)>_<day:31(2)>_<hour:13(2)>)(...)

Where (#) is how many digits to match, and hour is 13, i.e. 24-hour clock.

It is unable to match the "17" in the example above. Changing 13(2) to 13(1) (match 1 digit), and it works, but if i changed it to <hour:13(1)>_, it fails.

I tried this which worked:

Code: Select all: (Date: <year:1999>_<month:12(2)>_<day:31(2)>_)(digit)(digit)(...)(

So it looks like the military hour:13(2) and (1) aren't matching correctly?

Thanks for the report. This is a known bug and there should be a fix in the next patch.