My compiler was not able to deal these casts by itself.