Fixes compilation error introduced with last commit