Fix typos.

0x7df in hex is 2015 in decimal.