fix ports_and_terminals.user.js