Fix copy/paste mistake, bug 708571