Fix an obvious bug