Bug fix #465