O-Mini calculates wrong window.innerHeight

OperaMini initially calculates the javascript window.innerHeight not as defined by the W3C:

The innerHeight attribute must return the viewport height including the size of a rendered scroll bar (if any), or zero if there is no viewport.CSS Working Group

OperaMini calculates the innerHeight at the beginning as it will be when the menu bars disappear after you start scrolling. This is not the expected value and does not match the definition. The menu bar is not "a rendered scroll bar" and should therefore not be included in the innerHeight value!