This article reports on a newly discovered bug in the original simulation argument. Two different ways of patching the argument are proposed, each of which preserves the original conclusion.