bugfix for #9760