Fix c-style casts