old-style string formatting