Fix compilation

Broken by debfc1718f8000eefcd213e7c9e1f68e14a8f429

Change-Id: If8bb67572ea33c3cde4c3b474e0c37b8ca2f058f
Reviewed-by: Orgad Shaneh <orgads@gmail.com>