Fix bug 2424