Are we missing a `0` in `0x1000`?

I'm not sure this is worth it.