Language extension wibble (see #8813)