Small changes were made. Documentation updated.