bug fix #4185