bug fix #4144