Fixing types for erlang 17