Additional Modification

Last minute changes that github did not detect before previous sync.