Rename of k4->k3. Don't know why didn't commit before.