Fix spec to make dialyzer happy