Ooops, fix compilation