Thanks for the bug report. I installed the attached (slightly different) patch
to fix the bug and inconsistency.