Small bug in Microsoft Edge browser