Minor change in message_boards.js