do we care? i suggest we merge even if we care, as right now you just get a fatal error whereas with this change the normal case at least will work.