* Fixes in indroduction and theory.