CHECK: spaces preferred around that '%' (ctx:WxV)