Updated specifications to avoid errors with dialyzer.