Fix bug 1028257