Replaced incorrect comment by a (hopefully) correct one.
Replaced incorrect comment by a (hopefully) correct one.

vtomole/SICL,clasp-developers/SICL,vtomole/SICL,vtomole/SICL,clasp-developers/SICL,vtomole/SICL,clasp-developers/SICL,clasp-developers/SICL