combinatory-logic/GaspesSmith-STCC-SK: cosmetic changes.