this returns a symbol, not a string