Hello,
No need to worry about making a ticket, the issue has been passed onto Admins for fixing. In the future though, creating a ticket for any bugs or issues would be preferred.
If you have any questions or concerns, feel free to start a conversation with me here on the forums or Discord...