Fix bug 1839