Bug #9548

fix