documentation on finally