CRM 2011 & Typescript: How to get sections within a tab

Jun 20, 2013 at 5:27 PM
We're implementing our client-side logic using TypeScript on one of our CRM 2011 projects. So far, so good.

However, something seems off in the Xrm2011.1_0.d.ts file regarding sections. Tabs and sections are defined as follows:
module Xrm {
    export module Page {
        ...
        export module ui {
            ...
            export module tabs {
                ...
                export function get(tabName: string): Tab;
                ...
                export module sections {
                    ...
                    export function get(sectionName: string): Section;
                    ...
                }
            }
        }
    }
}
This forces you to implement typescript as such:
var section = <Xrm.Page.Section>Xrm.Page.ui.tabs.sections.get(sectionName);
Which compiles to:
Xrm.Page.ui.tabs.sections.get(sectionName); 
However, the correct JavaScript syntax should be:
Xrm.Page.ui.tabs.get(tabName).sections.get(sectionName);
Has anyone experienced this? Am I missing something here?

Thanks in advance.