Should it also be removed from `eng_dot`?