Minor fix of stale name in comment.