doc/handbook: some corrections in abi.tex