bug fixes in soar and sml code