Bug fix #16