Bug fix #311