I think this clone is unnecessary, because it's the last use of `k`, so one can happily move out of it.