fixes about_operators.js