Good thinking to report this case. Would be nice to have a test for it (e.g. in the _erroneous_ package).