Make dialyzer happy.