Fix a typo
Again improve performance of symbolic integral computation