This code removed (see previous note).