Fix bug 3037