notation fix in vKT