Bug fix #424