Fix reserved identifier violation (fix #1)