Bug fix #72