fix compilation from previous commit