Some small changes were made.