Use correct type declaration.  Also fixed typo.
Use correct type declaration.  Also fixed typo.

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