Fix compilation

Oops.