Double backslash appears when switching to source

If you create a new page using the WYSIWYG editor and switch to source without typing any text you'll see a double backslash in the source:

\\

The source should be of course empty.