Bug fix #423