Bug fix #421