Avoid (useless) warning about a non-void function returning nothing.