Finish properly factoring InstantiateSucceeded into spec form.
Fix SyntaxError.