I'm not sure we need this, since the warning will make this clear if it comes up.