Minor type corrections

[ci skip]