Fix an issue with compilation