Good catch. I've inlined this as suggested.