(Cleanup, examples.)