Wrong Symbol For Comments in Editor

In the web editor for x86-64, the Ctrl+/ shortcut for commenting out a line inserts the wrong character. The # character is inserted, but the symbol for comments is ;.