saving an rsa key shows "id_dsa" as file name

Generate a new SSH key with the RSA algorithm, then press "save public key". The suggested filename is "id_dsa.pub", although it should be "id_rsa.pub". The same is true for the private key.