hmm...

Somehow this got omitted in the merge