update doc with errordef