Removed the old SML code.