cosmetics for initialized_in_file