fix indentation of pseudocode