Update hal_specification.md

typos