hotfix pseudo code formatter