basic.js: fix names, notifications