More explicit instructions. I should probably patch the state initialization bug too, since these instructions won't actually work.