I guess they could be symbols

fixes #1