Fix an obvious error