This comment is a little fishy ;-)
Should we warn or something if it happens? Would it be the indication of a bug in another piece of code?