SSH key name editing filter bug

I have noticed that, when I'm trying to change my ssh public key it displays '0' instead of '0x90' in name textbox. May be there is something wrong with XSS filter or something like that?