Fix bug 1042895