#854 Fix compilation error.