Fix bug 37