Yep, that's what the current treatment was. Might want to print out a warning in this case just to let users know to report and/or manually fix up this case themselves.