Fix wrong type in the codes
Support dialyzer