Fix g++ warning: control reaches end of non-void function