Fix g++ warning: control reaches end of non-void function.
We should never get there unless we have a problem with the type.