removed StopEventually to allow all the documentation to be typeset with pdflatex