continued debugging of van Leer