compilation fix after last commit