Well spotted. Eventually, we will pull all the WebIDL and verify it through the WebIDL parser.