Fix an ugly goof