Why do we need this cast?