(refs #464)Fix compilation error