New version (small corrections).