Of course!

If it is a bug then it should be filed immediately. The point of the bug tracker is to keep things organized. This is a smaller issue so unless it is in the tracker it maybe overlooked. Definitely file that baby.

Calvin Morrison