Bug fix #317