still chasing symbolic bug