This does not deserve a PanicAlert since it doesn't prevent Dolphin from keeping running by crashing or anything like that (or if it does, this is not apparent from the code).