BUGS: language polish

diff --git a/docs/BUGS.md b/docs/BUGS.md
index c091cda75294d3ae73041cb97c7c20566e13c782..e37875f80318df10cdc7af12db3288ffb06e67ff 100644 (file)
--- a/docs/BUGS.md
+++ b/docs/BUGS.md
@@ -221,8 +221,8 @@
  "nobody cares enough about it to work on it" category. Such bugs are
  perfectly valid problems that *should* get fixed but apparently aren't. We
  try to mark such bugs as `KNOWN_BUGS material` after a time of inactivity and
- if no activity is noticed after yet some time those bugs are added to
- `KNOWN_BUGS` and are closed in the issue tracker.
+ if no activity is noticed after yet some time those bugs are added to the
+ `KNOWN_BUGS` document and are closed in the issue tracker.
 
 ## `KNOWN_BUGS`
 
@@ -232,8 +232,8 @@
  considered these problems to be important enough to spend the necessary time
  and effort to have them fixed.
 
- The `KNOWN_BUGS` are always up for grabs and we will always love the ones who
- bring one of them back to live and offers solutions to them.
+ The `KNOWN_BUGS` items are always up for grabs and we love the ones who bring
+ one of them back to life and offer solutions to them.
 
  The `KNOWN_BUGS` document has a sibling document known as `TODO`.
 
@@ -242,7 +242,7 @@
  Issues that are filed or reported that aren't really bugs but more missing
  features or ideas for future improvements and so on are marked as
  'enhancement' or 'feature-request' and will be added to the `TODO` document
- instead and the issue is closed. We don't keep TODO items in the issue
+ and the issues are closed. We don't keep TODO items open in the issue
  tracker.
 
  The `TODO` document is full of ideas and suggestions of what we can add or
@@ -251,8 +251,8 @@
  implemented or provided in the project so that you can work on ticking it odd
  that document.
 
- If the issue is rather a bug and not a missing feature or functionality, it
- is listed in `KNOWN_BUGS` instead.
+ If an issue is rather a bug and not a missing feature or functionality, it is
+ listed in `KNOWN_BUGS` instead.
 
 ## Closing off stalled bugs
 
@@ -262,5 +262,5 @@
  abandoned or in other ways dormant will be closed and sometimes added to
  `TODO` and `KNOWN_BUGS` instead.
 
- This way, we only have "active" issues open on github. Irrelevant issues and
+ This way, we only have "active" issues open on GitHub. Irrelevant issues and
  pull requests will not distract developers or casual visitors.