Do not need this cast here.