bug fix #4096