Fixed incorrect comment.
Complete description of FIXNUM-<=-INSTRUCTION.