Bug 1365: fix another type mismatch warning
Bug 1365: fix another type mismatch warning

(sync is set from and compared to an Index)

pthulhu/eigen,pthulhu/eigen,pthulhu/eigen,pthulhu/eigen,pthulhu/eigen