Well, that code is unreachable, but it might be better to throw an error...