Thanks for the reports!
The one added by @klopkr is a separate bug though as it's only the naming that's actually wrong (but no separate bug report is needed).
The one added by @klopkr is a separate bug though as it's only the naming that's actually wrong (but no separate bug report is needed).