Get around compilation error