OTHER: Silence incompatible pointer type warning.