Fix a size mismatch in scanf. Untested, but the code could not have

Fix a size mismatch in scanf.  Untested, but the code could not have
worked properly without this fix -- scanf would have written 32-bit
values to 16-bit fields, thus smashing adjacent memory.