Bug fix #25