Documentation for stop()
copyright notice