Update specs and documentation