I had already closed it.

Thanks a lot for your report and please don't hesitate to report any further
issues you encounter. User feedback is important to us.