typos and spec updates