Fix some casts