Fix an atrocious bug