doesn't this cast occur implicitly?