Cast to avoid warning