fixed bugs and typos in SML and CD-k