fix #21: Indexing into a symbol