Two hacks here to make it compile