Removed a compilation error