Avoid warning about not returning a value