CHECK: spaces preferred around that '/' (ctx:VxV)