Fix types

[none]