Bug fix #80