formatting
minor
travInt: 100ms => 78ms

can be generalized, sure thing, but not today