Throw in a comment explaining this cast.