fixed a corner case in symbol conversion