Bug fix #995