I thank my supervisor W. B. Worthen for bringing my attention to this matter.