Bug fix #3898