Small cleanups in sympa.js