Fix progation of no-exception path through a finally block