Fix a cast

Change-Id: If565d1244b5bd1fa08ad48520d66e4fdec3b1b6b