Fixed tiny compilation error with latest Giraph trunk