Updated documentation to reflect the new insns