fix misplaced symbol