To verify the fix f2967f3bf
