Why do we cast the value here?