More corrections re issue #1425