Addendum: no need to file a new report in this case, I added this bug report to the Hugin code bug tracker.
Addendum: no need to file a new report in this case, I added this bug report to the Hugin code bug tracker.