MInor corrections