Fix up a mistaken copy paste