Fix bug 3027