One minor correction