Minor change to be clean on integer sanitization
am: da86b1836d

Change-Id: I41e25a96797e6e2a8b2af3e9b6f078a9f74ce589