Update projectSpecs.tex