Great! My advice is you politely comment on it with your own experience or your insight into what the correct behaviour should be. This will not only give devs a measure of the importance of this bug, but will also keep you in the loop of the process of its resolution.