Clarify execution in try-return-finally-return case.