Bug fix #357