Oops. Left in debugging code ...