fix undeveloped symbol