Fix bug 2825