Kraken: return earlier in apply_vj_extension