corrections connected with enlarge-ops.js filter