@danheberden do you think a bug report is needed here?