bug fix 12391