Bug #9303 resolved.
Bug #9201 resolved.