Small fixes for dialyzer and type specs.