Fix a small bug with UserAgent string formatting