Bug fix regarding handling of user notification
Fix minor bugs in message dispatch system