Fix bug 3205