One minor fix