Fix bug 1033700