Bug fix #420