Restore step to playing a player procedure

I removed this before because it appeared to be extraneous but it was
simply incorrectly formatted during the bikeshed conversion.