For small stuff you can actually just send a PR without logging a problem, but it's better to log and claim a problem so that you can request merits for the work you've done.
I saw that you logged another problem about the issue tracker, but for some reason it didn't actually make it into nostrocket state, checking it out now.