That’s an odd bug and I’m glad you were able to get it fixed. I’m not able to reproduce the error on my end, but if it continues causing issue you should open up a support ticket. This also helps us to track and get a sense for the number of users affected by a given bug.