Update 00-cover.tex

Added two minor changes.