Bug fix #309