correct erl version notation