FIX specs + dialyzer support