PlayerDeathReset()
TerminateLevel()
* Stems from an oversight in 28b97486cd. * Fixes #796.
28b97486cd