fix indent on notation tab