partially fixes bug 47; normalize the symbols