@ehelms Good catch. I've added the missing type notation.