fix compilation broken by previous commit