HALO: fix the integer division bug

Change-Id: I234d33f8306eeb4e7e1889e099609caed6c0590a