made some fixes to an compilation error.