fix formatting, fix typo in execution name