fix doc for lib-instruction