Thanks for reporting this bug. That should indeed be fixed. Marking this Confirmed, with low priority since there is a workaround.
Thanks for reporting this bug. That should indeed be fixed. Marking this Confirmed, with low priority since there is a workaround.