update spec doc