"Include last 5 digits" incorrect includes \&quo

In the Preferences > Process Settings, there is an option in the file naming section called \"Include last 5 digits of caputre number in filename\".

However, when checked, this include both the last 5 digits AND a \".TIF\" in the middle of the filename. For example, assume the following:

C1 v 3.7.3 with latest color patch
RAW image from a P45
RAW Image name is \"My Image-0031.TIF\"
Last 5 digits of the Capture ID are 00769
\"Use capture name as default name\" is also checked
I am processing to a JPG file.

What I should get is: My Image-0031-00769.jpg.
But, what I get is: My Image-0031.TIF-00769.jpg.

What's up with that?