Bug #9302 resolved.