Bug fix #42: Fix typo