fix namespace clash for is_public