If this doesn't fix instruction set docs then I give up for now