Yes, you are right. I fixed this on my hard disk, but because I used the browser to add the fixes, I missed it.