fixing error in comment #2333