Fixed timexinfo example output.