Fix no-return warning