@yuhunglin can you add some comments here, if the else happens, is this actually an error?
If it is, it might be worthwhile throwing one so we can know about it.