Here's my two cents about this:
You can try to change the name of the distribution but be careful, if you change something wrong, you might encounter problems while installing or later when you will use it. But if your absolutely need to change it here's what you can try:
The two you provided are correct (you can also update /etc/issue.net just to be sure). The other thing you can do is this:
Open the ISO (ISO Master) file and go to the folder called .disk. In there is a file called info. The release name is there and can be changed. view this post.
This should change the name of your distribution.
If that does not work, you can change the following files:
NOTE: the location might change depending the version you are using and file might be not found as well
- /usr/share/yelp/ (all files & all sub folders)