Absolutely. Entered #639 for that, and pushed a commit to add an explanatory comment on this spot referencing that issue.