fixed minor bug with missing symbol