Update docs and spec