Minor modification in the sources.