Version revised.