got rid of refsymbols