Correct the type of `dot`