Fixed some problems in instruction ASCIIDOCs.