ensure that the tail call is in the same block as the return (fixes fehler62)