Fixed some dialyzer defs.