Added one case of apply_k