interface.js: internal function renaming