corrected comment/explanation in which proc