clean up symbolic