Resolved a compilation error