Thanks, damnedfrog! Bug reports are best put in the appropriate channel of Discord (link in the main menu). That way I can avoid duplicates and verify them as quickly as possible.