getServoPulseLength miscalculation (or bug report if it's the right place)

[JagV12]

Considering:
//Convert the servo pulse length into timer ticks.
//Each timer tick is 8 microseconds.
int16_t newLengthInClockTicks = newLengthInMicroseconds / 8;
//subtract the pulse offset
newLengthInClockTicks -= 64;

uint16_t ServoSequencer::getServoPulseLength(uint8_t servoNumber)
is calculated as
pulseLength = (servoRegistry[servoNumber].pulseLengthInTicks * 8) + 64;
Shouldn't it be
pulseLength = (servoRegistry[servoNumber].pulseLengthInTicks + 64) * 8; ?