Fix incorrect specification.

Fix an incorrect type specification generating errors when running
dialyzer.