Fix red star becoming gray on save, fix #1531