Fix compile failure introduced sometime around 795ab5624cf910afcfedf8afff8a984f207e331f