SSH key deletion bugged

When deleting an ssh key (/user/ssh-keys.xhtml) only Info ssh_keys.key_deleted as a string is displayed as the feedback message.

You also can't delete a key right after adding it without reloading the page manually. You can add the key, then click on revoke and confirm, but that just does nothing.