fix typos in the requirements spec