Make dialyzer happy