Added int k.