Cleaning up some fragments after \end{document}