Erlang Spec adjustments