fixed bug in st-finalization; note that finalization order is undefined