Fix for #604.

I think they are coded in hex; 912 = 0x390 and 843 = 0x3af.