Thanks, I’ve submitted a bug report and if a bug gets added to the public tracker I will comment here with its number!