[askvictor]

I've had similar issues with chrome's PDF viewer where it displays one number, but if I copy paste, it shows a different number.