Update documentation and specification