fix a bug I introduced yesterday

I redefined k forgetting a sqrt...