This fixes #8134.  The driver can now set the input size.