Shortly after a player joined my current game, he changed his Display Name. Since that change, neither his Roll20 account name nor his Display Name are available as [name] options in the Chat window (whether in the auto-dropdown or brute-forced). Any idea what might be causing the problem?