Bug fix #372