Yes, you are right. Problem is that DecodeIR is not really maintained any more. Also, I am quite convinced that there are more semi-important bugs in the code. So I doubt that your fix will be incorporated.
Anyhow, I have applied the bugfix in my Arduino fork.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Almost exactly 4 years old... Just saw it.
Yes, you are right. Problem is that DecodeIR is not really maintained any more. Also, I am quite convinced that there are more semi-important bugs in the code. So I doubt that your fix will be incorporated.
Anyhow, I have applied the bugfix in my Arduino fork.