added string formatting library