type casting to avoid printf warning