formal done; releasing lock