Corrected a compilation error.