Minor compilation error.