Fix doc about _setjmp.