Fix for the Derek Incident

We’ve fixed the issue that caused a number of players to wonder “Who is Derek?”. Sorry about that! All is well in BenchApp land again.