even more downcasing