Why do you need this explicit cast here?