Fix #1130
use interned strings