@@ -33,7 +33,7 @@ Try as closely as possible to describe the issue, ensuring that it has sections
3333In addition, please attach complete source files that exhibit the issue to quoting from them in the issue.
3434
3535### Feature Requests
36−We would appreciate to only receive requests for new features in the issue tracker, when they are feasible to implement and the author is willing to implement the suggested features themself. The current Idris developer team consists mostly of volunteers, and so it is unfortunately hard to accommodate implementing nice-to-have ideas that are not essential for core language development.
36+We would appreciate to only receive requests for new features in case they are feasible to implement and the author is willing to implement the suggested features themself. The current Idris developer team consists mostly of volunteers, and so it is unfortunately hard to accommodate implementing nice-to-have ideas that are not essential for core language development.
3737
3838## The Campsite Rule
3939