Fix bug 2393