Correct also the generic implementation of circularVelocity()