same question for the switch/case block in message_manager.js