cast explicitly to avoid warnings