multiple small typos corrected, more debugging to come