fix show-op.js