Correct specs to make dialyzer happy.