Isso foi reportado como um bug, você pode conferir aqui - link
você pode mencionar que esse bug afeta você (no site mencionado acima, por exemplo), isso ajudará a dar maior atenção ao bug.
você sempre pode usar o gparted para formatar um disco. para obter o gparted, você pode usar o centro de software ou digitar o seguinte comando no terminal
% bl0ck_qu0te%escolha o seu dispositivo, desmonte-o e clique com o botão direito para abrir um menu. dentro do menu você encontrará uma opção 'format to', use-a para formatá-la em qualquer formato de arquivo que desejar e clique em apply.
Isso deve funcionar perfeitamente.