Bug fix #117